In a principal domain, an element is irreducible if and only if it is prime.